.header {
  border-bottom: solid 1px black;
  margin: 0px;
  padding: 0px;
  clear: both;
}

.body {
  border: none;
  background-color: white;
  width: 1200px;
  margin-left: auto;
  margin-right: auto;
  padding: 0px;;
}

.stats_table {
  float: left;
  width: 400px;
  margin: 0;
  padding: 0px;
}

.config_table {
  float: left;
  width: 800px;
  margin: 0;
  padding: 0px;
}

.list_files_table {
  margin: 0px;
  padding: 0px;
}

h1.head_title {
  font-size: 40pt;
}

h1.title {
  font-size: 25pt;
  clear: left;
  padding-top: 15px;
}

.footer {
  clear: left;
  float: left;
  font-size: 10pt;
  margin: 0px;
  padding: 0px;
}
.footer ul {
  display: inline-block;
  float: left;
  list-style: none;
  padding: 0px;
  margin: 0px;
}

.footer li {
  list-style: none;
  padding: 0px;
  margin: 0px;
  float: left;
  margin-left: 5px;
}

.footer li:after {
  content: " | ";
  padding-left: 5px;
}

.footer li:last-child:after {
  content: "";
}

.footer li a {
  display: inline-block;
  float: left;
  padding: 0px;
  margin: 0px;
  font-size: 10pt;
}

.footer p {
  display: inline;
  float: left;
  margin: 0px;
  padding: 0px;
}

.footer p.ocv {
  display: block;
  clear: left;
  float: left;
  padding: 0px;
  margin: 0px;
  font-size: 10pt;
}

table {
  margin: 0px;
  padding: 0px;
}

td.blank {
  height: 20px;
}
